PrimitivesBounded[] primitive_values
